If pragmatism, hitherto, has been content with elaborating theories of meaning and of truth, but has neglected epistemology, there are good reasons for that neglect. For one thing, much of the accepted vocabulary of epistemological discussion begs the questions under discussion. Again, much epistemology is simply an oblique metaphysics, and not an empirical investigation of knowledge, and hence throws no light on knowing as we practice it. But another reason for this neglect lies in the very simplicity of an experimental (...) theory of knowing. Its charms are not enhanced by undulating draperies of dialectic,' nor warded by the numerological incantations of a symbolic logic, nor made elusive by recondite reference to relativity physics. Nevertheless, it is to the exposition of this elementary doctrine that I mean now to proceed. And I shall do so simply, and with seeming dogmatism, by taking the categories of field, focus, and perspective, and working them for all they are worth in an experimental epistemology... (shrink)

Why do humans make music? Theories of the evolution of musicality have focused mainly on the value of music for specific adaptive contexts such as mate selection, parental care, coalition signaling, and group cohesion. Synthesizing and extending previous proposals, we argue that social bonding is an overarching function that unifies all of these theories, and that musicality enabled social bonding at larger scales than grooming and other bonding mechanisms available in ancestral primate societies. We combine cross-disciplinary evidence from archeology, anthropology, (...) biology, musicology, psychology, and neuroscience into a unified framework that accounts for the biological and cultural evolution of music. We argue that the evolution of musicality involves gene–culture coevolution, through which proto-musical behaviors that initially arose and spread as cultural inventions had feedback effects on biological evolution because of their impact on social bonding. We emphasize the deep links between production, perception, prediction, and social reward arising from repetition, synchronization, and harmonization of rhythms and pitches, and summarize empirical evidence for these links at the levels of brain networks, physiological mechanisms, and behaviors across cultures and across species. Finally, we address potential criticisms and make testable predictions for future research, including neurobiological bases of musicality and relationships between human music, language, animal song, and other domains. The music and social bonding hypothesis provides the most comprehensive theory to date of the biological and cultural evolution of music. (shrink)

We compare and contrast the 60 commentaries by 109 authors on the pair of target articles by Mehr et al. and ourselves. The commentators largely reject Mehr et al.'s fundamental definition of music and their attempts to refute (1) our social bonding hypothesis, (2) byproduct hypotheses, and (3) sexual selection hypotheses for the evolution of musicality. Instead, the commentators generally support our more inclusive proposal that social bonding and credible signaling mechanisms complement one another in explaining cooperation within and competition (...) between groups in a coevolutionary framework (albeit with some confusion regarding terminologies such as “byproduct” and “exaptation”). We discuss the proposed criticisms and extensions, with a focus on moving beyond adaptation/byproduct dichotomies and toward testing of cross-species, cross-cultural, and other empirical predictions. (shrink)

Across languages, children map words to meaning with great efficiency, despite a seemingly unconstrained space of potential mappings. The literature on how children do this is primarily limited to spoken language. This leaves a gap in our understanding of sign language acquisition, because several of the hypothesized mechanisms that children use are visual (e.g., visual attention to the referent), and sign languages are perceived in the visual modality. Here, we used the Human Simulation Paradigm in American Sign Language (ASL) to (...) determine potential cues to word learning. Sign‐naïve adult participants viewed video clips of parent–child interactions in ASL, and at a designated point, had to guess what ASL sign the parent produced. Across two studies, we demonstrate that referential clarity in ASL interactions is characterized by access to information about word class and referent presence (for verbs), similarly to spoken language. Unlike spoken language, iconicity is a cue to word meaning in ASL, although this is not always a fruitful cue. We also present evidence that verbs are highlighted well in the input, relative to spoken English. The results shed light on both similarities and differences in the information that learners may have access to in acquiring signed versus spoken languages. (shrink)

A number of commentators agree that the evidence reviewed in the target article supports a previously unrecognized role for ovarian hormones in feminization of the brain. Others question this view, suggesting that the traditional model of sexual differentiation already accounts for ovarian influence. This position is supported by various reinterpretations of the data presented (e.g., ovarian effects are secondary to the presence/absence of androgen, ovarian effects are smaller than testicular effects, ovarian effects are not organizational). We discuss these issues, and (...) reiterate our position that evidence of neurobehavioral ovarian effects is incompatible with the currently accepted model of sexual differentiation. Other points regarding species generalizations, the direct versus indirect action of estrogen, and nonhormonal mechanisms of sexual differentiation are also discussed. Finally, we address the controversial issue of using ratio scores in the assessment of the human corpus callosum (where CC scores are divided by an index of brain size). Future applications to human research are also discussed. (shrink)

We will be dealing with “sequential circuits” in the sense of E. F. Moore and G. H. Mealy. Each such circuit is assumed to have a finite number of input wires and a finite number of output wires. Each element of such a circuit will be assumed to be an and-circuit, an or-circuit, a not-circuit, or a delay circuit, for some specified temporal delay. Each element has one output wire which, however, may branch in order to serve several purposes simultaneously. (...) The and-circuits and or-circuits have two input wires each, while the not-circuits and the delay circuits have one input wire each. (shrink)

Husserl’s theory of fulfilment conceives of empty acts, such as symbolic thought, and fulfilling acts, such as sensory perceptions, in a strict parallel. This parallelism is the basis for Husserl’s semantics, epistemology, and conception of truth. It also entails that any true proposition can be known in principle, which Church and Fitch have shown to explode into the claim that every proposition is _actually_ known. I assess this logical challenge and discuss a recent response by James Kinkaid. While Kinkaid’s (...) proposal saves one direction of the parallel for semantics, it gives up the parallelism for truth. I spell out a different response which meshes naturally with Husserl’s account of meaning. If the parallelism is restricted to a class of basic propositions, the truth of non-basic propositions can be defined inductively, without leading to the paradox. I then discuss objections that have been raised against a similar proposal by Dummett. The result is that exegetically plausible and popular interpretations of Husserl’s correlationism are indeed challenged by Church and Fitch. But when taking into account the ‘logical adumbration’ of propositional blindspots, truth and possible fulfilment can be connected without paradox. (shrink)

According to the “paradox of knowability”, the moderate thesis that all truths are knowable – ... – implies the seemingly preposterous claim that all truths are actually known – ... –, i.e. that we are omniscient. If Fitch’s argument were successful, it would amount to a knockdown rebuttal of anti-realism by reductio. In the paper I defend the nowadays rather neglected strategy of intuitionistic revisionism. Employing only intuitionistically acceptable rules of inference, the conclusion of the argument is, firstly, not (...) ..., but .... Secondly, even if there were an intuitionistically acceptable proof of ..., i.e. an argument based on a different set of premises, the conclusion would have to be interpreted in accordance with Heyting semantics, and read in this way, the apparently preposterous conclusion would be true on conceptual grounds and acceptable even from a realist point of view. Fitch’s argument, understood as an immanent critique of verificationism, fails because in a debate dealing with the justification of deduction there can be no interpreted formal language on which realists and anti-realists could agree. Thus, the underlying problem is that a satisfactory solution to the “problem of shared content” is not available. I conclude with some remarks on the proposals by J. Salerno and N. Tennant to reconstruct certain arguments in the debate on anti-realism by establishing aporias. (shrink)

Augment the propositional language with two modal operators: □ and ■. Define ⧫ to be the dual of ■, i.e. ⧫=¬■¬. Whenever (X) is of the form φ → ψ, let (X⧫) be φ→⧫ψ . (X⧫) can be thought of as the modally qualified counterpart of (X)—for instance, under the metaphysical interpretation of ⧫, where (X) says φ implies ψ, (X⧫) says φ implies possibly ψ. This paper shows that for various interesting instances of (X), fairly weak assumptions suffice for (...) (X⧫) to imply (X)—so, the modally qualified principle is as strong as its unqualified counterpart. These results have surprising and interesting implications for issues spanning many areas of philosophy. (shrink)

A number of authors have noted that the key steps in Fitch’s argument are not intuitionistically valid, and some have proposed this as a reason for an anti-realist to accept intuitionistic logic (e.g. Williamson 1982, 1988). This line of reasoning rests upon two assumptions. The first is that the premises of Fitch’s argument make sense from an anti-realist point of view – and in particular, that an anti-realist can and should maintain the principle that all truths are knowable. (...) The second is that we have some independent reason for thinking that classical logic is not appropriate in this area. This paper explores these two assumptions in the context of Michael Dummett’s version of anti-realism, with particular reference to the argument from indefinite extensibility developed at various points in Dummett’s writings (e.g. Dummett 1991 Ch. 24). -/- Dummett argues that certain concepts, the indefinitely extensible concepts, are such that we cannot form a clear and determinate conception of all the objects that fall under them. The most familiar examples of indefinitely extensible concepts are mathematical. Dummett discusses the concepts ordinal number, real number, and natural number, which are indefinitely extensible because any conception that one might form of their complete extension can be extended to a more inclusive conception (as, for example, in Cantor’s proof of the non-denumerability of the set of real numbers). This paper argues that the concept of a truth is indefinitely extensible. This gives a Dummettian anti-realist an independent motivation for rejecting the classical understanding of the quantifiers in this area. At the same time, however, it places in doubt the admissibility of the knowability principle, which seems to involve quantification over the “totality” of truths. As Dummett is at pains to point out (1991: 316), some sentences that purport to quantify over the extension of an indefinitely extensible concept plainly have a truth-value (we can truly say, for example, that every ordinal number has a successor, even though when we say that we are not quantifying over the set of all ordinals). But is the knowability principle one of these sentences? (shrink)

MAHAN, Asa. Obligation Predicable Only of the Will. In: MAHAN, Asa. Doctrine of the Will. Oberlin: J. M. Fitch, 1847. p 124-136.

Fitch showed that not every true proposition can be known in due time; in other words, that not every proposition is knowable. Moore showed that certain propositions cannot be consistently believed. A more recent dynamic phrasing of Moore-sentences is that not all propositions are known after their announcement, i.e., not every proposition is successful. Fitch's and Moore's results are related, as they equally apply to standard notions of knowledge and belief (S 5 and KD45, respectively). If we interpret (...) ‘successful’ as ‘known after its announcement’ and ‘knowable’ as ‘known after some announcement’, successful implies knowable. Knowable does not imply successful: there is a proposition ϕ that is not known after its announcement but there is another announcement after which ϕ is known. We show that all propositions are knowable in the more general sense that for each proposition, it can become known or its negation can become known. We can get to know whether it is true: ◊(Kϕ ∨ K¬ϕ). This result comes at a price. We cannot get to know whether the proposition was true. This restricts the philosophical relevance of interpreting ‘knowable’ as ‘known after an announcement’. (shrink)

Fitch & Denenberg provide excellent evidence for the existence of dynamically complex interactions between the structural and functional development of the nervous system. They are to be congratulated for showing how subtle social variables (e.g., handling) may not only influence hormonal “cascade effects” on the developing nervous system, but may also alter the structure of brain tissue, such as the corpus callosum.

Evans & Levinson's (E&L's) major point is that human languages are intriguingly diverse rather than (like animal communication systems) uniform within the species. This does not establish a about language universals, or advance the ill-framed pseudo-debate over universal grammar. The target article does, however, repeat a troublesome myth about Fitch and Hauser's (2004) work on pattern learning in cotton-top tamarins.

Notions of unknown truths and unknowable truths are important in formal epistemology, which are related to each other in e.g. Fitch’s paradox of knowability. Although there have been some logical research on the notion of unknown truths and some philosophical discussion on the two notions, there seems to be no logical research on unknowable truths. In this paper, we propose a logic of unknowable truths, investigate the logical properties of unknown truths and unknowable truths, which includes the similarities of (...) the two notions and the relationship between the two notions, and axiomatize this logic. (shrink)

A system of logic usually comprises a language for which a model-theory and a proof-theory are defined. The model-theory defines the semantic notion of model-theoretic logical consequence (⊨), while the proof-theory defines the proof- theoretic notion of logical consequence (or logical derivability, ⊢). If the system in question is sound and complete, then the two notions of logical consequence are extensionally equivalent. The concept of full formalization is a more restrictive one and requires in addition the preservation of the standard (...) meanings of the logical terms in all the admissible interpretations of the logical calculus, as it is proof-theoretically defined. Although classical first-order logic is sound and complete, its standard formalizations fall short to be full formalizations since they allow non-intended interpretations. This fact poses a challenge for the logical inferentialism program, whose main tenet is that the meanings of the logical terms are uniquely determined by the formal axioms or rules of inference that govern their use in a logical calculus, i.e., logical inferentialism requires a categorical calculus. This paper is the first part of a more elaborated study which will analyze the categoricity problem from its beginning until the most recent approaches. I will first start by describing the problem of a full formalization in the general framework in which Carnap (1934/1937, 1943) formulated it for classical logic. Then, in sections IV and V, I shall discuss the way in which the mathematicians B.A. Bernstein (1932) and E.V. Huntington (1933) have previously formulated and analyzed it in algebraic terms for propositional logic and, finally, I shall discuss some critical reactions Nagel (1943), Hempel (1943), Fitch (1944), and Church (1944) formulated to these approaches. (shrink)

The following two theses constitute the theoretical core of all epistemic conceptions of truth: (1) The concept of truth can be explicated in epistemic terms (e.g. in terms of justified assertability under ideal epistemic conditions, ideal coherence, ideal consensus etc.). (2) The assumption that there could be truths which cannot, in principle, be known to be true is false or even absurd. The book scrutinizes theses (1) and (2). It contains discussions of the truth-theoretical approaches of Peirce, Putnam, Dummett, C. (...) Wright, Apel, Habermas and others, offers an account of the speech act of assertion, a critique of deflationism about truth, an analysis of the concept of fallibility and a discussion of Fitch's paradox of knowability. Im Zentrum epistemischer Wahrheitskonzeptionen stehen die folgenden beiden Thesen: (1) Der Wahrheitsbegriff kann durch epistemische Konzepte idealer Begründbarkeit, Behauptbarkeit, Kohärenz oder Konsensfähigkeit expliziert werden. (2) Die Annahme, es könnte wahre Aussagen geben, die prinzipiell nicht als wahr erkennbar oder doch begründbar sind, ist falsch oder sogar sinnlos. "Wahrheit, Begründbarkeit und Fallibilität" unterzieht diese Thesen einer kritischen Prüfung. Neben der Diskussion wahrheitstheoretischer Ansätze von Peirce, Putnam, Wright, Apel und anderen enthält dieses Buch eine Bestimmung der normativen Relevanz des Wahrheitsbegriffs für Behauptungshandlungen, eine Kritik des Deflationismus, eine Analyse des Konzepts der Fallibilität sowie eine Diskussion des Paradox of Knowability. (shrink)

Scholars have long been captivated by the parallels between birdsong and human speech and language. In this book, leading scholars draw on the latest research to explore what birdsong can tell us about the biology of human speech and language and the consequences for evolutionary biology. They examine the cognitive and neural similarities between birdsong learning and speech and language acquisition, considering vocal imitation, auditory learning, an early vocalization phase, the structural properties of birdsong and human language, and the striking (...) similarities between the neural organization of learning and vocal production in birdsong and human speech. After outlining the basic issues involved in the study of both language and evolution, the contributors compare birdsong and language in terms of acquisition, recursion, and core structural properties, and then examine the neurobiology of song and speech, genomic factors, and the emergence and evolution of language. Contributors: Hermann Ackermann, Gabriël J.L. Beckers, Robert C. Berwick, Johan J. Bolhuis, Noam Chomsky, Frank Eisner, Martin Everaert, Michale S. Fee, Olga Fehér, Simon E. Fisher, W. Tecumseh Fitch, Jonathan B. Fritz, Sharon M.H. Gobes, Riny Huijbregts, Eric Jarvis, Robert Lachlan, Ann Law, Michael A. Long, Gary F. Marcus, Carolyn McGettigan, Daniel Mietchen, Richard Mooney, Sanne Moorman, Kazuo Okanoya, Christophe Pallier, Irene M. Pepperberg, Jonathan F. Prather, Franck Ramus, Eric Reuland, Constance Scharff, Sophie K. Scott, Neil Smith, Ofer Tchernichovski, Carel ten Cate, Christopher K. Thompson, Frank Wijnen, Moira Yip, Wolfram Ziegler, Willem Zuidema. (shrink)

We examine the question of which aspects of language are uniquely human and uniquely linguistic in light of recent suggestions by Hauser, Chomsky, and Fitch that the only such aspect is syntactic recursion, the rest of language being either specific to humans but not to language (e.g. words and concepts) or not specific to humans (e.g. speech perception). We find the hypothesis problematic. It ignores the many aspects of grammar that are not recursive, such as phonology, morphology, case, agreement, (...) and many properties of words. It is inconsistent with the anatomy and neural control of the human vocal tract. And it is weakened by experiments suggesting that speech perception cannot be reduced to primate audition, that word learning cannot be reduced to fact learning, and that at least one gene involved in speech and language was evolutionarily selected in the human lineage but is not specific to recursion. The recursion-only claim, we suggest, is motivated by Chomsky’s recent approach to syntax, the Minimalist Program, which de-emphasizes the same aspects of language. The approach, however, is sufficiently problematic that it cannot be used to support claims about evolution. We contest related arguments that language is not an adaptation, namely that it is “perfect,” non-redundant, unusable in any partial form, and badly designed for.. (shrink)

According to the “knowability thesis,” every truth is knowable. Fitch’s paradox refutes the knowability thesis by showing that if we are not omniscient, then not only are some truths not known, but there are some truths that are not knowable. In this paper, I propose a weakening of the knowability thesis (which I call the “conjunctive knowability thesis”) to the e:ect that for every truth p there is a collection of truths such that (i) each of them is knowable (...) and (ii) their conjunction is equivalent to p. I show that the conjunctive knowability thesis avoids triviality arguments against it, and that it fares very di:erently depending on another thesis connecting knowledge and possibility. If there are two propositions, inconsistent with one another, but both knowable, then the conjunctive knowability thesis is trivially true. On the other hand, if knowability entails truth, the conjunctive knowability thesis is coherent, but only if the logic of possibility is weak. (shrink)

Verificationism is the doctrine stating that all truths are knowable. Fitch’s knowability paradox, however, demonstrates that the verificationist claim (all truths are knowable) leads to “epistemic collapse”, i.e., everything which is true is (actually) known. The aim of this article is to investigate whether or not verificationism can be saved from the effects of Fitch’s paradox. First, I will examine different strategies used to resolve Fitch’s paradox, such as Edgington’s and Kvanvig’s modal strategy, Dummett’s and Tennant’s restriction (...) strategy, Beall’s paraconsistent strategy, and Williamson’s intuitionistic strategy. After considering these strategies I will propose a solution that remains within the scope of classical logic. This solution is based on the introduction of a truth operator. Though this solution avoids the shortcomings of the non-standard (intuitionistic) solution, it has its own problems. Truth, on this approach, is not closed under the rule of conjunction-introduction. I will conclude that verificationism is defensible, though only at a rather great expense. (shrink)

Anderson and Belnap presented indexed Fitch-style natural deduction systems for the relevant logics R, E, and T. This work was extended by Brady to cover a range of relevant logics. In this paper I present indexed tree natural deduction systems for the Anderson–Belnap–Brady systems and show how to translate proofs in one format into proofs in the other, which establishes the adequacy of the tree systems.

The so-called knowability paradox results from Fitch's argument that if there are any unknown truths, then there are unknowable truths. This threatens recent versions of semantical antirealism, the central thesis of which is that truth is epistemic. When this is taken to mean that all truths are knowable, antirealism is thus committed to the conclusion that no truths are unknown. The correct antirealistic response to the paradox should be to deny that the fundamental thesis of the epistemic nature of (...) truth entails the knowability of all truths. Correctly understood, the antirealistic conditions on a proposition's truth do not require that the proposition possess a verification-procedure which, when executed under the given conditions, issues in an agent's recognition of truth, but merely that there be a verification-procedure which, under these conditions, takes the value true . The knowability paradox and the related idealism problem (that antirealism seems, but is not, committed to the necessary existence of an epistemic agent) draw attention to the fact that certain propositions, those that are about verification-procedures themselves, may under certain conditions take the value true despite their unperformability under these circumstances. Thus these propositions' procedures can only be performed when the propositions are false, and they gain the appearance of antirealistic impossibility (e.g., that there is an unknown truth). This differs from the unperformability that antirealists object to, pertaining merely to matters of execution rather than to the logical structure of the procedures themselves. The force of antirealism's notion of epistemic truth is piecemeal, rather than consisting in a blanket characterization of truth as knowable. (shrink)

Il paradosso della conoscibilità è un semplice argomento che partendo da premesse piuttosto modeste giunge alla sorprendente conclusione che vi sono verità inconoscibili; verità che è impossibile sapere non già per limiti fisici o cognitivi, ma nemmeno in linea di principio. L’argomento sembra dimostrare l’esistenza di limiti necessari ed ineludibili del sapere umano. Tale conclusione è apparentemente in grado di confutare un gran numero di teorie filosofiche quali per esempio l’idealismo trascendentale Kantiano, il pragmatismo di Peirce e James, e varie (...) forme contemporanee di antirealismo e verificazionismo. Il presente lavoro intende fornire una introduzione al paradosso e al dibattito filosofico che esso ha generato. Il libro discute criticamente vari approcci al paradosso, introduce una nuova interpretazione della sua conclusione, ed esplora alcune sue applicazioni in diversi ambiti della filosofia contemporanea. (shrink)

According to the “knowability thesis,” every truth is knowable. Fitch’s paradox refutes the knowability thesis by showing that if we are not omniscient, then not only are some truths not known, but there are some truths that are not knowable. In this paper, I propose a weakening of the knowability thesis (which I call the “conjunctive knowability thesis”) to the e:ect that for every truth p there is a collection of truths such that (i) each of them is knowable (...) and (ii) their conjunction is equivalent to p. I show that the conjunctive knowability thesis avoids triviality arguments against it, and that it fares very di:erently depending on another thesis connecting knowledge and possibility. If there are two propositions, inconsistent with one another, but both knowable, then the conjunctive knowability thesis is trivially true. On the other hand, if knowability entails truth, the conjunctive knowability thesis is coherent, but only if the logic of possibility is weak. (shrink)